Automated testing of graphics shader compilers

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Shader Generation using a Shader Infrastructure

Programmable rendering on the GPU (Graphics Processing Unit) utilizing “shader” technology has become a recognized benefit to visual simulation, providing unprecedented realism and fidelity to synthetic environments. However, effective use of shaders is a technological challenge, where implementation of even a trivial vertex or fragment shader requires manual re-implementation of the fixed-func...

متن کامل

Automated Combination of Real-Time Shader Programs

This work proposes an approach for automatic and generic runtime-combination of high-level shader programs. Many of recently introduced real-time rendering techniques rely on such programs. The fact that only a single program can be active concurrently becomes a main conceptual problem when embedding these techniques into middleware systems or 3D applications. Their implementations frequently d...

متن کامل

Systematic Testing of Hardware Compilers

DWARV is a C-to-VHDL compiler which can compile arbitrary C programs for a heterogeneous platform with minimal effort. Depending on the application this will imply faster execution. We give an overview of C-to-VHDL compilers. One important aspect of all software is its reliability, and we aim to assess DWARV’s reliability and the adequacy of its test suite. Based on the identified shortcomings ...

متن کامل

Model-Based Testing of Optimizing Compilers

We describe a test development method, named OTK, that is aimed at optimizing compiler testing. The OTK method is based on constructing a model of optimizer’s input data. The method allows developing tests targeted to testing a chosen optimizer. A formal data model is constructed on the basis of an abstract informal description of an algorithm of the optimizer under test. In the paper, we consi...

متن کامل

Stress Testing of Compilers for Modula-2

During standardization discussions on Modula-2 the question was raised whether the future standard should need a clause stating a set of minimal requirements for conforming implementations regarding the ‘structuredness’ of lexical, syntactical and run-time constructs in programs written in this language. It was decided to test a number of compilers to find their actual limits on the structuredn...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on Programming Languages

سال: 2017

ISSN: 2475-1421

DOI: 10.1145/3133917